Knowledge Interchange Format: the KIF of Death

نویسنده

  • Matthew L. Ginsberg
چکیده

one knowledge representation scheme and another are premature.1 Those supporting knowledge representation standards are attempting to address this difficulty by creating a single language in which all knowledge representation schemes can be expressed (Genesereth 1990), but this task seems impossible given the current state of the field. Perhaps it is possible to construct a single language that can There has been a flurry of interest recently in the possibility of standardizing existing work on knowledge representation; this interest is supported by the Defense Advanced Research Projects Agency (DARPA) and other funding agencies. One focus of this effort has been the development of an interlingua, or knowledge interchange format (KIF), by which knowledge could be moved from one declarative system to another. This article touches on a variety of issues. In Philosophical Arguments, I discuss general concerns about both the practicality of developing KIF and the effect that a partially successful development might have on the knowledge representation community in general. An Interlingua Proposal attempts to address the technical concerns raised, presenting a straw-man KIF proposal that might provide a way around these difficulties. In An Experiment, I discuss a specific translation experiment that, I hope, will settle some of the questions raised in the first two sections. Finally, Standards Effort or Research? discusses the question of whether the development of KIF should be viewed as a standardization or a research effort and the consequences of the natural conclusion.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The KIF of Death Matthew

There has been a good deal of discussion recently about the possibility of standardizing knowledge representation eeorts, including the development of an interlingua, or kif (knowledge interchange format) that would allow developers of declarative knowledge to share their results with other AI researchers. In this paper, we examine the practicality of this idea. We present some philosophical ar...

متن کامل

Automated Reasoning Support for SUMO/KIF

Formal ontologies play an increasingly important role in demanding knowledge representation applications like the Semantic Web. Although there exist extensive formal ontologies written in the Knowledge Interchange Format (KIF), such as for instance the Suggested Upper Merged Ontology (SUMO), automated reasoning support for SUMO has so far been limited. We propose a novel transformation scheme f...

متن کامل

Scl: a Logic Standard for Semantic Integration

The Knowledge Interchange Format (KIF) [2] is an ASCIIbased framework for use in exchanging of declarative knowledge among disparate computer systems. KIF has been widely used in the fields of knowledge engineering and artificial intelligence. Due to its growing importance, there arose a renewed push to make KIF an official international standard. A central motivation behind KIF standardization...

متن کامل

X-KIF – New Knowledge Modeling Language

This paper proposes X-KIF – a new modeling language intended for implementing large, formal knowledge bases. The language originated from the SUO-KIF language, which has been used for implementing a large family of ontologies based on the Suggested Upper Merged Ontology (SUMO). We address some of the problems with the SUO-KIF language, and try to formally define the semantics of some higher-ord...

متن کامل

Knowledge Interchange Format Version 3.0 Reference Manual in Collaboration With

Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the rs...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • AI Magazine

دوره 12  شماره 

صفحات  -

تاریخ انتشار 1991